Handbook of satisfiability
- Författare
- (Edited by Armin Biere ..)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | cop. 2009 | Nederländerna, Amsterdam | xiii, 966 sidor. ill. 25 cm. | 978-1-58603-929-5 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | cop. 2009 | Nederländerna, Amsterdam | xiii, 966 sidor. ill. 25 cm. | 978-1-58603-929-5 |